Strong Typing

定义 Definition

强类型（strong typing）：指一种编程语言的类型系统特性——语言会严格区分不同数据类型，并且通常不允许（或很少允许）在不显式转换的情况下把一种类型当作另一种类型使用，从而减少因类型混用导致的错误。也常与“静态/动态类型”并列讨论；不同语言与学者对该术语边界有不同表述。

发音 Pronunciation (IPA)

/ˌstrɔːŋ ˈtaɪpɪŋ/（英式）
/ˌstrɔːŋ ˈtaɪpɪŋ/（美式常近似同上）

例句 Examples

Strong typing helps catch mistakes early.
强类型有助于及早发现错误。

In a strongly typed language, you usually can’t add a number to a string without an explicit conversion, which makes many bugs easier to spot.
在强类型语言里，通常不能在不做显式转换的情况下把数字和字符串相加，这会让许多错误更容易被发现。

词源 Etymology

strong 来自古英语 strang，意为“强的、牢固的”；typing 源自 type（类型/打字），在计算机语境中延伸为“类型系统”。“strong typing”作为术语在计算机科学领域用来描述“类型约束更严格”的语言特性，后来成为讨论语言安全性与可维护性时的常用说法。

相关词 Related Words

• Static Typing
• Dynamic Typing
• Type Safety
• Type System
• Type Checking
• Type Inference
• Implicit Conversion
• Explicit Cast

文学与著作 Literary Works

• Types and Programming Languages（Benjamin C. Pierce）——讨论类型系统与类型安全时常涉及强/弱类型等概念。
• Programming Language Pragmatics（Michael L. Scott）——在类型系统章节中讨论强类型与相关性质。
• Concepts, Techniques, and Models of Computer Programming（Peter Van Roy, Seif Haridi）——比较不同语言特性时会涉及强类型与类型约束的讨论。